Type Theory and Functional Programming (1999) [pdf]
dev.to·4h·
Discuss: DEV
🔤Type Theory
A DuckDB extension for in-database inference, written in Rust 🦀
github.com·7h·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·1d·
Discuss: Lobsters
🔗Functional Compilers
Chain-in-Tree: Back to Sequential Reasoning in LLM Tree Search
arxiv.org·13h
🧮SMT Solvers
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.com·4h
🎞️Tape Combinatorics
Using an LLM on the Advent of Code
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Tactics
Double Maths First Thing: Issue 38
aperiodical.com·9h
📐Mathematical Art
Solving 2-SAT
nima101.github.io·13h·
Discuss: Hacker News
🔗Constraint Handling
First Day: A New Chapter at the JKU
stefan-marr.de·11h
🔩Systems Programming
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·3d
🧮Theorem Proving
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·4d·
Discuss: Hacker News
🎯Gradual Typing
The Intuition Behind How Large Language Models Work, Part I
mark-riedl.medium.com·22h·
Discuss: Hacker News
🤖Grammar Induction
Sguaba: Type-safe spatial math in Rust
youtube.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
The Causal Abstraction Network: Theory and Learning
arxiv.org·13h
🕸️Algebraic Topology
Apply the Trie: Word Search
mmhaskell.com·2d·
Discuss: Hacker News
🌳Trie Structures
Making sense of parameter-space decomposition
lesswrong.com·3d·
Discuss: Hacker News
🧮Kolmogorov Bounds
We Trained a 3B Function-Calling Git Agent for Local Use
distillabs.ai·2h·
Discuss: Hacker News
🌀Brotli Internals
Expanding Computation Spaces of LLMs at Inference Time
arxiv.org·1d
💻Local LLMs
Enzymatic Cascade Optimization for Enhanced Lignocellulosic Ethanol Production via Bayesian Hyperparameter Tuning
dev.to·3h·
Discuss: DEV
☕Precision Brewing
Haskell WebAssembly for Browser Interaction
funwithfunctions.com·17h·
Discuss: Hacker News
🛡️WASM Security